How and when to resize a hash table